The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.

LetL(K) denote the lattice (ordered by inclusion) of quasivarieties contained in a quasivarietyK and letD 2 denote the variety of distributive (0, 1)-lattices with 2 additional nullary operations. In the present paperL(D 2) is described. As a consequence, ifM+N stands for the lattice join of the quasivarietiesM andN, then minimal quasivarietiesV 0,V 1, andV 2 are given each of which is generated by a 2-element algebra and such that the latticeL(V 0+V1), though infinite, still admits an easy and nice description (...) (see Figure 2) while the latticeL(V 0+V1+V2), because of its intricate inner structure, does not. In particular, it is shown thatL(V 0+V1+V2) contains as a sublattice the ideal lattice of a free lattice with free generators. Each of the quasivarietiesV 0,V 1, andV 2 is generated by a 2-element algebra inD 2. (shrink)

How ought Christians to approach moral problems? This is a question of method in moral theology. It is also a question of who is in authority to speak on matters of morality. In this essay, the moral methodology of Richard McCormick, S.J., one of the most powerful voices in contemporary Roman Catholic theology, is explored in depth. Attention is focused on its critical details, its development over time, and in particular McCormick's use of authorities in Roman Catholicism. It is argued (...) that his ethical theory is built around one central insight: that the human person in all its facets and dimensions is the criterion of the rightness and wrongness of human actions. (shrink)

The same research proposal was submitted to 24 district health authority (DHA) research ethics committees in different parts of the country. The objective was to obtain permission for a multi-centre research project. The study of neonatal care in different types of unit (regional, subregional and district), required that four health authorities were approached in each of six widely separated health regions in England. Data were collected and compared concerning aspects of processing, including application forms, information required, timing and decision-making. The (...) key finding was that ethics committees received and processed the applications variably, reflecting individual factors and local problems. To improve consensus and facilitate multicentre studies, standard forms and instructions are suggested and the establishment of a national committee or advisory group advocated. (shrink)

Provability, Computability and Reflection.

Discusses some of the philosophical ideas about knowledge and applies them to organizational design and information processing in order to create new ideas and new ways of thinking. Explains how this can be achieved by a discussion of the issues surrounding organizational design and the impact of design on information processing. Reviews the ideas concerning the theory of knowledge proposed by rationalists, such as Descartes and empiricists, such as Locke and how these relate to other epistemological theories such as historicism (...) and pragmatism. Concludes by discussing the means by which philosophical theories of knowledge can assist towards new considerations of information processing. (shrink)

Documents as we encounter them in everyday life are complex and diverse things, whether on paper, computer disk or on the World Wide Web. They play many roles vis-à-vis human beings, and the humans engaged with them have diverse responsibilities that are not always easy to fulfil. Added to this is the issue of how a document or literary work can change and yet retain its identity, as found in maintenance, drafting and versioning of documents. This paper explores how the (...) meaning-oriented philosophy of Herman Dooyeweerd may be used to understand the complex nature of documents, to throw light on the roles, responsibilities and culture surrounding them, and to tackle issues of identity and change. (shrink)

In their “social contextual view” of emotional mimicry, authors Hess and Fischer (2022) put forward emotional mimicry as a social regulator, considering it a social act, bound to certain affiliative contexts or goals. In this commentary, we argue that the core function of mimicry is to ease predicting conspecifics’ behaviours and the environment, and that as a consequence, this often smoothens social interactions. Accordingly, we make three main points. First, we argue that there is no good reason to believe that (...) the mimicry of negative expressions is fundamentally different than the mimicry of positive or ambiguous or autonomic expressions. Second, we give examples of empirical evidence that mimicry is not always a social act. Third, we show that mimicry has primary benefits for the mimicker. As such, we will briefly summarise and elaborate on the relevant findings in these respects, and propose a comparative, multi-method and ecologically valid approach which can explain the multifaceted character of the phenomenon. (shrink)

In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as well as interest from the point of view of applications. The language, concepts and methods of model theory can thus be used to describe the relationship between logics through morphisms of structures called transfers. This leads to a formal framework for studying several properties of abstract logics and their attributes such as consequence operator, (...) syntactical structure, and internal transformations. In particular, we treat Belief Revision Systems (BRS) as our main example, defining the Wide Belief Revision Systems (WBRS''s). This generalization allows us to define BRS''s in an abstract setting for classical and non-standard logics. We also show how the concept of translation between logics can be obtained as a particular case of transfers. (shrink)

We argue that on logical grounds the constructivist algorithms mentioned by Quartz & Sejnowski (Q&S) do not resolve the learning paradox. In contrast, a neural network might acquire a more powerful structure by means of phase transitions. The latter kind of developmental mechanism can be in agreement with the constructivist manifesto.

The relevance of the research is the intensity of noise emitted by lorries depends on the regime of the vehicle movement. One of the main negative factors caused by road vehicles is air pollution with exhaust gases. The article presents results for noise caused by lorries and gas usage while the vehicle is accelerating. The subject of the study is 4 lorries, and they also feature fuel recording systems which are less than 5 years old. Research methodology. The level of (...) noise emitted by heavyweight transport vehicles is measured according to Lithuanian standard LST ISO 1996-2:2008 requirements. During the tests the noise levels of L A,eq, L C,eq, L C,peak were measured. The tests were done 5 times each and the results are presented as arithmetical averages. Fuel consumption is registered in vehicle data registration system. The researched vehicles have to comply with environmental safety normative requirements; that the vehicle carbon monoxide, particulate matter, nitrogen oxides, unburned fuel and other hazardous substances contained in the combustion gases must not exceed the prescribed limits. The results of the experimental studies show that EURO6 lorries noise level is the lowest compared to the EURO4 and EURO5. After carrying out the analysis of the caused noise and gas usage, it was found that noise pollution and gas usage are higher without speed control system. The noise caused by lorries can be described in square polynomial which defines the noise inclination change while vehicle is accelerating. Scientific novelty of the research a complex research on noise and fuel consumption of lorries by using and not using speed control system. Research idea and problem is to achieve sustainable transport development objectives, in particular the reduction of greenhouse gas emissions under the Kyoto Protocol. It is very important to find ways to forecast and reduce transport noise pollution, while also reducing overall pollution, as well as mitigating the impact on the global climate., Conclusion – after conducting a lorry noise and fuel consumption analysis, it was determined that not using speed control system increases the noise and fuel consumption and if the system is used both of these factors decrease drastically. (shrink)

In 2001, Le Bars proved that there exists an existential monadic second-order sentence such that the probability that it is true on [Formula: see text] does not converge and conjectured that, for EMSO sentences with two first-order variables, the zero–one law holds. In this paper, we prove that the conjecture fails for [Formula: see text], and give new examples of sentences with fewer variables without convergence.

We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if is a regular ultrafilter on λ such that and M is a model whose theory is countable, then is λ+-saturated iff it realizes all φ-types of size λ.

Let T 1 , T 2 be countable first-order theories, M i ⊨ T i , and ������ any regular ultrafilter on λ ≥ $\aleph_{0}$ . A longstanding open problem of Keisler asks when T 2 is more complex than T 1 , as measured by the fact that for any such λ, ������, if the ultrapower (M 2 ) λ /������ realizes all types over sets of size ≤ λ, then so must the ultrapower (M 1 ) λ /������. (...) In this paper, building on the author's prior work [12] [13] [14], we show that the relative complexity of first-order theories in Keisler's sense is reflected in the relative graph-theoretic complexity of sequences of hypergraphs associated to formulas of the theory. After reviewing prior work on Keisler's order, we present the new construction in the context of ultrapowers, give various applications to the open question of the unstable classification, and investigate the interaction between theories and regularizing sets. We show that there is a minimum unstable theory, a minimum TP 2 theory, and that maximality is implied by the density of certain graph edges (between components arising from Szemerédi-regular decompositions) remaining bounded away from 0, 1. We also introduce and discuss flexible ultrafilters, a relevant class of regular ultrafilters which reflect the sensitivity of certain unstable (non low) theories to the sizes of regularizing sets, and prove that any ultrafilter which saturates the minimal TP 2 theory is flexible. (shrink)

Some theorists, worried about liberalism’s potential as a foundation for public health ethics, suggest that republicanism provides a better background of justification for public health policies, interventions, etc. In this article, this suggestion is put to the test, and it is argued that (i) contemporary (civic) republicanism and liberalism are not nearly as opposed as it is sometimes suggested, and that (ii) the kind of republicanism which one leading scholar in the field, Bruce Jennings, as an alternative to liberalism, does (...) not reflect the contemporary understanding of republicanism as held by, e.g. Phillip Pettit et al. (shrink)

This article develops an account of the nature and limits of the state’s legislative authority that closely attends to the challenge of harmonizing Kant’s ethical and juridical theories. It clarifies some key Kantian concepts and terms, then explains the way in which the state’s three interlocking authorities – legislative, executive, and judicial – are metaphysically distinct and mutually dependent. It describes the emergence of the Kantian state and identifies the preconditions of its authority. Then it offers a metaphysical model of (...) the Kantian state and uses it to argue that the activity of juridical lawgiving is an act of the omnilateral will itself. Legislative authority is limited in the sense that it does not include the capacity to create juridical laws that are conceptually incompatible with the idea of universal external freedom. I argue that my proposed account of the legislative authority is wholly consistent with that authority’s exclusive lawgiving capacity and does not threaten the possibility of ‘distributive justice’ – the legal finality that is the sine qua non of a civil condition. (shrink)